منابع مشابه
efl learners collocational knowledge in writing and translation
این مطالعه به بررسی دانش همنشین های دانشجویان زبان انگلیسی فارسی زبان می پردازد. در ابتدا، ارتباط یین دانش عمومی زبان و دانش همنشین های زبان آموزان مورد بررسی قرار می گیرد. دومین هدف این مطالعه بررسی استراتژیهای مورد استفاده در ترجمه همنشین های انگلیسی به فارسی است. در نهایت، خطا های زبان آموزان در تولید و درک همنشین ها مورد آنالیز و بررسی قرار می گیرد. دویست و بیست هفت دانشجوی زبان در این مطال...
Propositional Proofs in Frege and Extended Frege Systems (Abstract)
We discuss recent results on the propositional proof complexity of Frege proof systems, including some recently discovered quasipolynomial size proofs for the pigeonhole principle and the Kneser-Lovász theorem. These are closely related to formalizability in bounded arithmetic.
متن کاملCounter-Model Search in Gödel-Dummett Logics
We present a new method for deciding Gödel-Dummett logic LC. We first characterize the validity of irreducible sequents of LC by the existence of r-cycles in bi-colored graphs and we propose a linear algorithm to detect r-cycles and build counter-models. Then we characterize the validity of formulae by the existence of r-cycles in boolean constrained graphs. We also give a parallel method to de...
متن کاملassessment of deep word knowledge in elementary and advanced iranian efl learners: a comparison of selective and productive wat tasks
testing plays a vital role in any language teaching program. it allows teachers and stakeholders, including program administrators, parents, admissions officers and prospective employers to be assured that the learners are progressing according to an accepted standard (douglas, 2010). the problems currently facing language testers have both practical and theoretical implications but the first i...
A Model of Knowledge Management Culture Change
A dynamic model shaping a process of knowledge management (KM) culture change is suggested. It is aimed at providing effective KM of employees for obtaining desired results in an organization. The essential requirements for obtaining KM culture change are determined. The proposed model realizes these requirements. Dynamics of the model are expressed by a change of its parameters. It is adjusted...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal for History of Mathematics
سال: 2014
ISSN: 1226-931X
DOI: 10.14477/jhm.2014.27.1.047